package sys.tests.automat;

import sys.fsm.*;
import sys.message.*;
import sys.transport.*;

public class Test3
{
    public static void startTest()
    {
        System.out.println("---------------------------------------------------");
        System.out.println("Test3. Bad scenario. From Init state to nack by User.");
        System.out.println("---------------------------------------------------");
        try
        {
            Automat a = new Automat(1, "//home//chigorin//botva//term10//my//ds//cw//distsyst//sysa//src//sys//fsm//config");
            a.start_Message(0, "paying_system_1", "user_1", 10);

            Thread.sleep(2500);
            a.ack_Seller_1_Message();

            Thread.sleep(2000);
            a.ack_PayingSystem_1_Message();

            Thread.sleep(1000);
            a.nack_User_1_Message();
        }
        catch(Exception e) {}
    }
}
